логико-математические исчисления и моделирование
- логико-математические исчисления и моделирование
Способ исследования, при котором логико-математическое моделирование пользуется формальным аппаратом математической логики, изучающим общие закономерности теории доказательства. Логико-математические исчисления и моделирование допускают логическую правильность инвариантной (моделирующей, генотипической) сущности речемыслительной деятельности, рассмотрение ее как логического устройства, в котором выделяются элементарные исходные компоненты и непротиворечивый аппарат логических операций.
Словарь лингвистических терминов: Изд. 5-е, испр-е и дополн. — Назрань: Изд-во "Пилигрим".
Т.В. Жеребило.
2010.
Смотреть что такое "логико-математические исчисления и моделирование" в других словарях:
СЕМИОТИКА — (от греч. semeiot знак) общая теория знаковых систем, изучающая свойства знаковых комплексов самой различной природы. К таким системам относятся естественные языки, письменные и устные, разнообразные искусственные языки, начиная с формализованных … Философская энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ … Википедия
